CP and SAT 2025 workshops and doctoral programme

Dear all,

The 31st International Conference on Principles and Practice of
Constraint Programming (CP 2025), the 28th International Conference on
Theory and Applications of Satisfiability Testing (SAT 2025), and the
18th International Symposium on Combinatorial Search (SoCS 2025) will
be held at the University of Glasgow, Scotland from 10th to 15th
August 2025.

The CP and SAT 2025 joint workshop programme has now been finalised,
and you can find further details and links to the individual workshop
calls at the following:

https://cp2025.a4cp.org/workshops.html

Note that we will be running the workshops over two days, on both
August 10th and August 11th.

Additionally, a joint CP / SAT doctoral programme will be running on
the same two days. Details and submission instructions can be found
here:

https://satcpdp25.github.io/

The full list of workshops is as follows. On both the 10th and the
11th we will have:

- 23rd International Workshop on Satisfiability Modulo Theories,
https://smt-workshop.cs.uiowa.edu/2025/

On the 10th we will have:

- 1st Workshop on Explanations with Constraints and Satisfiability
(ExCoS), https://sites.google.com/view/excos2025
- Machine Learning for Solvers and Provers (ML4SP), https://ml4sp.github.io/
- 1st International Workshop on Discrete Optimization with Soft
Constraints, https://ulog.udl.cat/static/soft-2025/

And on the 11th we will have:

- LLMs meet Constraint Solving, https://sites.google.com/view/llm-solve
- The 24th workshop on Constraint Modelling and Reformulation
(ModRef), https://modref.github.io/ModRef2025.html
- 16th Pragmatics of SAT international workshop,
https://www.pragmaticsofsat.org/2025/
- Workshop on Counting, Sampling, and Synthesis,
https://mccompetition.org/2025/mcw_description
- International Workshop on Quantified Boolean Formulas and Beyond,
https://qbf.pages.sai.jku.at/qbf25/
- The Eighth Workshop on Progress Towards the Holy Grail (PTHG-25),
https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-25/

Looking forward to welcoming you to Glasgow,
--
Ciaran McCreesh